Optimal. Leaf size=47 \[ -\frac {3}{16 x^2}+\frac {1}{8 x^2 \left (2+3 x^4\right )}-\frac {3}{16} \sqrt {\frac {3}{2}} \tan ^{-1}\left (\sqrt {\frac {3}{2}} x^2\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 47, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.308, Rules used = {281, 296, 331,
209} \begin {gather*} -\frac {3}{16} \sqrt {\frac {3}{2}} \text {ArcTan}\left (\sqrt {\frac {3}{2}} x^2\right )-\frac {3}{16 x^2}+\frac {1}{8 x^2 \left (3 x^4+2\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 281
Rule 296
Rule 331
Rubi steps
\begin {align*} \int \frac {1}{x^3 \left (2+3 x^4\right )^2} \, dx &=\frac {1}{2} \text {Subst}\left (\int \frac {1}{x^2 \left (2+3 x^2\right )^2} \, dx,x,x^2\right )\\ &=\frac {1}{8 x^2 \left (2+3 x^4\right )}+\frac {3}{8} \text {Subst}\left (\int \frac {1}{x^2 \left (2+3 x^2\right )} \, dx,x,x^2\right )\\ &=-\frac {3}{16 x^2}+\frac {1}{8 x^2 \left (2+3 x^4\right )}-\frac {9}{16} \text {Subst}\left (\int \frac {1}{2+3 x^2} \, dx,x,x^2\right )\\ &=-\frac {3}{16 x^2}+\frac {1}{8 x^2 \left (2+3 x^4\right )}-\frac {3}{16} \sqrt {\frac {3}{2}} \tan ^{-1}\left (\sqrt {\frac {3}{2}} x^2\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 59, normalized size = 1.26 \begin {gather*} \frac {1}{32} \left (-\frac {4}{x^2}-\frac {6 x^2}{2+3 x^4}+3 \sqrt {6} \tan ^{-1}\left (1-\sqrt [4]{6} x\right )+3 \sqrt {6} \tan ^{-1}\left (1+\sqrt [4]{6} x\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.15, size = 33, normalized size = 0.70
method | result | size |
default | \(-\frac {1}{8 x^{2}}-\frac {x^{2}}{16 \left (x^{4}+\frac {2}{3}\right )}-\frac {3 \arctan \left (\frac {x^{2} \sqrt {6}}{2}\right ) \sqrt {6}}{32}\) | \(33\) |
risch | \(\frac {-\frac {9 x^{4}}{16}-\frac {1}{4}}{x^{2} \left (3 x^{4}+2\right )}-\frac {3 \arctan \left (\frac {x^{2} \sqrt {6}}{2}\right ) \sqrt {6}}{32}\) | \(37\) |
meijerg | \(\frac {\sqrt {2}\, \sqrt {3}\, \left (-\frac {2 \sqrt {2}\, \sqrt {3}\, \left (\frac {9 x^{4}}{2}+2\right )}{3 x^{2} \left (3 x^{4}+2\right )}-3 \arctan \left (\frac {\sqrt {2}\, \sqrt {3}\, x^{2}}{2}\right )\right )}{32}\) | \(51\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.51, size = 37, normalized size = 0.79 \begin {gather*} -\frac {3}{32} \, \sqrt {6} \arctan \left (\frac {1}{2} \, \sqrt {6} x^{2}\right ) - \frac {9 \, x^{4} + 4}{16 \, {\left (3 \, x^{6} + 2 \, x^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 53, normalized size = 1.13 \begin {gather*} -\frac {18 \, x^{4} + 3 \, \sqrt {3} \sqrt {2} {\left (3 \, x^{6} + 2 \, x^{2}\right )} \arctan \left (\frac {1}{2} \, \sqrt {3} \sqrt {2} x^{2}\right ) + 8}{32 \, {\left (3 \, x^{6} + 2 \, x^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.06, size = 37, normalized size = 0.79 \begin {gather*} \frac {- 9 x^{4} - 4}{48 x^{6} + 32 x^{2}} - \frac {3 \sqrt {6} \operatorname {atan}{\left (\frac {\sqrt {6} x^{2}}{2} \right )}}{32} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.50, size = 37, normalized size = 0.79 \begin {gather*} -\frac {3}{32} \, \sqrt {6} \arctan \left (\frac {1}{2} \, \sqrt {6} x^{2}\right ) - \frac {9 \, x^{4} + 4}{16 \, {\left (3 \, x^{6} + 2 \, x^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.00, size = 41, normalized size = 0.87 \begin {gather*} -\frac {\frac {3\,x^4}{16}+\frac {1}{12}}{x^6+\frac {2\,x^2}{3}}-\frac {3\,\sqrt {2}\,\sqrt {3}\,\mathrm {atan}\left (\frac {\sqrt {2}\,\sqrt {3}\,x^2}{2}\right )}{32} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________